#include "include/types.h"
// a user program that calls exec("/init")
// od -t xC initcode
#ifdef _cmd
uchar initcode[] = {
  0x17, 0x05, 0x00, 0x00, 0x13, 0x05, 0x45, 0x02,
  0x97, 0x05, 0x00, 0x00, 0x93, 0x85, 0x35, 0x02,
  0x93, 0x08, 0x70, 0x00, 0x73, 0x00, 0x00, 0x00,
  0x93, 0x08, 0x20, 0x00, 0x73, 0x00, 0x00, 0x00,
  0xef, 0xf0, 0x9f, 0xff, 0x2f, 0x69, 0x6e, 0x69,
  0x74, 0x00, 0x00, 0x24, 0x00, 0x00, 0x00, 0x00,
  0x00, 0x00, 0x00, 0x00,
};
#endif

#ifdef _hello
uchar initcode[] = {
   0x13, 0x00, 0x00, 0x00,     // nop
   0x13, 0x00, 0x00, 0x00,     // nop 
   0x13, 0x00, 0x00, 0x00,     // nop 
	   // <start>
   0x17, 0x05, 0x00, 0x00,     // auipc a0, 0x0 
   0x13, 0x05, 0x05, 0x00,     // mv a0, a0 
   0x93, 0x08, 0x60, 0x01,     // li a7, 22 
   0x73, 0x00, 0x00, 0x00,     // ecall 
   0xef, 0xf0, 0x1f, 0xff,     // jal ra, <start>
   // <loop>
   0xef, 0x00, 0x00, 0x00,     // jal ra, <loop>
};//printhello
#endif
int initcodesize=sizeof(initcode);

